Obligations and Their Interaction with Programs
نویسندگان
چکیده
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interaction with a program’s execution. We describe several analyses that the model enables, both static (for verification) and dynamic (for monitoring). This includes a systematic approach to approximating obligations for enforcement. We also discuss some extensions that would enable practical policy notations. Finally, we evaluate the robustness of our model against standard definitions from jurisprudence.
منابع مشابه
نسبت «تکالیف طبیعی» و «تکالیف شهروندی»
The relationship between “rights” and “obligations” is one of an inseparable nature. In the same way that “human rights” are perceived as being distinct from “citizenship rights”, “duties” and “obligations” of individuals as human beings are distinguishable from their obligations as citizens. The present paper presupposes the ties between rights and obligations to apply to any individual and “s...
متن کاملThe role of genetics in the provision of essential public health services.
States include genetics services among their public health programs, but budget shortfalls raise the question, is genetics an essential part of public health? We used the Essential Services of Public Health consensus statement and data from state genetics plans to analyze states' public health genetics programs. Public health genetics programs fulfill public health obligations: birth defects su...
متن کاملجراحیهای زیبایی؛ ضرورت یا زیادت؟ قولی در ماهیت تعهدات جراحان زیبایی
Although in most legal systems and even in Islamic countries whose codes are drawn from Sunni jurisprudence, the nature of medical obligations is the obligation to means, but in some special cases and according justifiable reasons in accordance with the requirements and the new order ruling the society and regarding to a simultaneous attention to the order and justice, the nature of medical obl...
متن کاملبررسی ماهیت تعهدات پزشکی و جلوههای آن در پرتو مطالعهی تطبیقی
Although apparently in the Iranian's legal system following the major of Emamyeh's jurisprudence, the nature of medical obligations has been introduced as the obligation to results. In most legal systems and even in Islamic countries whose codes are drawn from Sunni jurisprudence, the nature of medical obligations is the obligation to means. But in some special cases and according justifiable r...
متن کامل2 Generation of Proof Obligations
1 Background The system PAMELA (Proof Assistant for Meta IV-like Languages) was designed originally to check partial correctness of VDM-like speciications 3] of code generators with respect to implicit speciications given as sets of pre-and postconditions 1]. Explicit speciications in this framework essentially are systems of mutually recursive functions and procedures (in the following called ...
متن کامل